1. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : Yoeli, Michael
کتابخانه: (سمنان)
موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
2. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : / by Michael Yoeli and Rakefet Kol
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
